<?xml version="1.0" encoding="iso-8859-1"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
          "../DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <title>GB application classes</title>
  </head>

  <body>
    <h1>Groebner base application package.</h1>

<p>
  This package contains classes with applications of Groebner bases
  such as ideal intersections, ideal quotients or ideal dimension are
  implemented in <code>Ideal</code> and <code>SolvableIdeal</code>.
  Class <code>Residue</code> provides polynomials residues modulo an
  ideal defined in <code>ResidueRing</code>.  Comprehensive Groebner
  bases for polynomial rings over parameter rings are implemented in
  <code>ComprehensiveGroebnerBaseSeq</code>.
</p>


    <hr />
    <address><a href="mailto:kredel at rz.uni-mannheim.de">Heinz Kredel</a></address>
<p>
<!-- Created: Wed Mar  1 12:29:04 CET 2006 -->
<!-- hhmts start -->
Last modified: Fri Dec 24 15:00:18 CET 2010
<!-- hhmts end -->
</p>
<p>$Id$ 
</p>
  </body>
</html>
